1. <A> Roadmap for Formal Property Verification
پدیدآورنده: \ by Pallab Dasgupta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Integrated circuits -- Verification,مدارهای مجتمع -- راستیآزمایی
رده :
E-Book
,
2. A roadmap for formal property verificatio
پدیدآورنده: / by Pallab Dasgupta
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Integrated circuits--Verification
رده :
TK
,
7874
.
58
,.
D37
,
2006
3. A roadmap for formal property verification
پدیدآورنده: / by Pallab Dasgupta
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits -- Verification
رده :
TK
7874
.
58
.
D37
2006
4. A roadmap for formal property verification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Integrated circuits ; Verification. ;
5. Abstraction refinement for large scale model checking
پدیدآورنده: / Chao Wang, Gary D. Hachtel, Fabio Somenzi
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Computer systems -- Verification -- Mathematical models,Integrated circuits -- Verification -- Mathematical models,Electronic systems -- Verification -- Mathematical model
رده :
QA
76
.
76
.
V47W36
2006
6. Abstraction refinement for large scale model checking
پدیدآورنده: Wang, Chao
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Verification Mathematical models ، Computer systems,Verification Mathematical models ، Integrated circuits,Verification Mathematical models ، Electronic systems
رده :
QA
76
.
76
.
V47W36
2006
7. Advanced verification techniques
پدیدآورنده: / by Leena Singh, Leonard Drucker, Neyaz Khann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Integrated circuits , Verification,Electronic books. , local
رده :
E-BOOK
8. Advanced verification techniques
پدیدآورنده: / by Leena Singh, Leonard Drucker, Neyaz Khan
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits -- Verification
رده :
TK
7874
.
58
.
S54
2004
9. Advances in hardware design and verification
پدیدآورنده: ^bInternational conference on correct hardware and verification methods. Montreal, canada 16-18 October 1997
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Integrated circuits- Verification ► Computer software- Verification
رده :
621
I61a
10. Applied formal verification
پدیدآورنده: / Douglas L. Perry, Harry D. Foster
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits -- Verification,Electronic circuits -- Testing
رده :
TK
7874
.
58
.
P47
2005
11. Assertion-Based Design
پدیدآورنده: \ Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language),مدارهای مجتمع -- مجتمعسازی در مقیاس بسیار بزرگ -- طرح و ساختمان,مدارهای مجتمع -- راستیآزمایی,وریلاگ (زبان توصیفی سختافزار کامپیوتر)
رده :
E-Book
,
12. Assertion-based desig
پدیدآورنده: / Harry Foster, Adam Krolnik, David Lacey
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Integrated circuits--Very large scale integration--Design and construction,Integrated circuits--Verification,Verilog (Computer hardware description language)
رده :
TK
,
7874
.
75
,
F68
,
2004eb
13. Assertion-based design
پدیدآورنده: / Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)
رده :
E-BOOK
14. Assertion-based design
پدیدآورنده: / Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)
رده :
TK7874
.
75
F68
2004
15. Assertion-based design
پدیدآورنده: / Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language)
رده :
TK
7874
.
75
.
F68
2004
16. Authentication of embedded devices :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Integrated circuits ; Verification. ;
17. Co-verification of hardware and software for ARM SoC desig
پدیدآورنده: / by Jason R. Andrews
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Integrated circuits--Verification,Computer software--Verification,Systems on a chip.
رده :
TK
,
7874
,.
A595
,
2005eb
18. Co-verification of hardware and software for ARM SoC design
پدیدآورنده: Andrews, Jason R.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Integrated circuits- Verification,، Computer software- Verification,، Systems on a chip
رده :
TK
7874
.
A595
2005
19. Co-verification of hardware and software for ARM SoC design
پدیدآورنده: / by Jason R. Andrews
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Integrated circuits- Verification,Computer software- Verification,Systems on a chip
رده :
E-BOOK
20. Co-verification of hardware and software for ARM SoC design
پدیدآورنده: / by Jason R. Andrews
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Integrated circuits- Verification,Computer software- Verification,Systems on a chip
رده :
TK7874
.
A595
2005
